max $integral dY$ min [ Y , min $partialdiff sub X$ ( WORLDBATH432 bath ) ]